221. Logical foundations of mathematics for behavior scientists
پدیدآورنده : [By] Abraham S. Luchins،Edith H. Lunich
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Mathematics - Philosophy . Logic, Symbolic and mathematical,Psychology
رده :
BF
,
44
,.
L8
222. Logicism and its philosophical legacy /
پدیدآورنده : William Demopoulos
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
D38
2013
223. Logique mhathematique
پدیدآورنده : / Stephen Kleene; traduction de Jean Largeault
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Logic, symbolic and mathematical
رده :
511
.
3
K63
224. Many Valued Topology and its Applications
پدیدآورنده : by Ulrich Höhle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Topology.
225. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
226. Mathematical Epistemology and Psychology.
پدیدآورنده : Beth, E.W.; Piaget, J.; Mays, W.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic machines.,Logic, Symbolic and mathematical.,Mathematics -- Philosophy.
227. Mathematical Principles of Fuzzy Logic
پدیدآورنده : by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
228. Mathematical Reasoning :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.
رده :
QA9
.
M347
229. Mathematical epistemology and psychology
پدیدآورنده : Beth, Evert Willem, 8091-4691
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Logic machines,Mathematical models ، Psychology,، Knowledge, Theory of
رده :
BC
135
.
B4413
230. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
231. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
232. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
233. Mathematical logic
پدیدآورنده :
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K652
234. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
K652
235. Mathematical logic :
پدیدآورنده : Roman Kossak
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
236. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
237. Mathematical logic and the foundations of mathematics; an introductory survey
پدیدآورنده : Kneebone, G. T.
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
238. Mathematical logic and the foundations of mathematics
پدیدآورنده : / An introductory survey, G. T. Kneebone
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
510
.
01
Kn-M
239. Mathematical logic and the foundations of mathematics
پدیدآورنده : / G.T. Kneebone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K673
2001
240. Mathematical logic and the foundations of mathematics
پدیدآورنده : / G.T. Kneebone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K673
2001